es{-}trigger(${\it es}$;$i$;${\it knd}$;${\it ds}$;$f$)($e$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if kind($e$) = ${\it knd}$ $\wedge_{b}$ loc($e$) = $i$ then '$f$((state when $e$),val($e$))' else inr $\cdot$  fi